Feeds to Scour
SubscribedAll
Scoured 2689 posts in 51.4 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
🤖Automata Theory
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌐Distributed Systems
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·17h·
Discuss: Hacker News
🎲Branden Fitelsin
Railway Oriented Programming
fsharpforfunandprofit.com·22h·
Discuss: Hacker News
🦀Rust
Waterloo Style
theprogrammersparadox.blogspot.com·19h·
Discuss: Hacker News
⚙Complex ststems
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🧩Complexity Theory
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🦀Rust
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🦀Rust
The Security Gap in MCP: The Hidden Risks No One Is Talking About
memgraph.com·16h·
Discuss: Hacker News
🧩Complexity Theory
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·17h·
Discuss: Lobsters, Hacker News
📊Streaming ML
The Engineering Discipline That Made AI Actually Useful
multigres.com·2d·
Discuss: Hacker News
🤖Automata Theory
Boundary Engineering
cabreza.substack.com·18h·
Discuss: Substack
⚙Complex ststems
The methodology behind the LLM contamination paper getting sustained cloning
adversarialbaseline.substack.com·1d·
Discuss: Substack
🤖Automata Theory
How to effectively write quality code with AI
heidenstedt.org·19h·
Discuss: Hacker News
🤖Automata Theory
LLMs could be, but shouldn't be compilers
alperenkeles.com·23h·
Discuss: Hacker News
🧩Complexity Theory
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·19h·
Discuss: Hacker News
🧩Complexity Theory
Fibonacci number certificates
johndcook.com·1d·
Discuss: Hacker News
🧩Complexity Theory
Ottermon.ai – Effortless Observability Deployed in Seconds
ottermon.ai·1d·
Discuss: Hacker News
📊Streaming ML
SyntagmaNull/synthetic-phenomenology: A foundational framework for AI consciousness, structural psychodynamics, and transparency-based ethics. Co-authored by Human and AI.
github.com·14h·
Discuss: Hacker News
⚙Complex ststems
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
📊Streaming ML

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help